Partial Evaluation
------------------

<!--
SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.

SPDX-License-Identifier: CC0-1.0
-->

[(Up)](../../README.md#topics) | _See also: [PLDI](../PLDI/README.md#pldi)_

- - - -


### Web resources

[Partial evaluation - Wikipedia](https://en.wikipedia.org/wiki/Partial_evaluation)

[Compile-time function execution - Wikipedia](https://en.wikipedia.org/wiki/Compile-time_function_execution)

[Compile-time calculation - Rosetta Code](https://rosettacode.org/wiki/Compile-time_calculation) ★


### Papers

[Tutorial on Online Partial Evaluation](https://arxiv.org/abs/1109.0781) ★★★ [💭](commentary/Chris%20Pressey.md#tutorial-on-online-partial-evaluation)

[Tutorial notes on partial evaluation](https://dl.acm.org/doi/abs/10.1145/158511.158707) ★ [💭](commentary/Chris%20Pressey.md#tutorial-notes-on-partial-evaluation)

[Partial Evaluation of Computation Process—An Approach to a Compiler-Compiler](https://static.aminer.org/pdf/PDF/001/006/665/partial_evaluation_of_computation_process_an_approach_to_a_compiler.pdf) 🏛️

[A partial evaluator for the untyped lambda-calculus](https://www.cambridge.org/core/journals/journal-of-functional-programming/article/partial-evaluator-for-the-untyped-lambdacalculus/EE324F936F0A009B6766B13FF6755DFC) 🏛️


### Books

Partial Evaluation and Automatic Program Generation (online @ [www.itu.dk](http://www.itu.dk/people/sestoft/pebook/))

Partial evaluation : practice and theory (online @ [archive.org](https://archive.org/details/springer_10.1007-3-540-47018-2)) ★ [💭](commentary/Chris%20Pressey.md#partial-evaluation--practice-and-theory)